<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 3.2//EN"> 
<html>
  <head>
    <meta http-equiv="Content-Type" content="text/html; charset=UTF-8">
    <link rel="stylesheet" type="text/css" href="style.css">
    <meta name="generator" content="Helen">
    <title>General Options</title>
  </head>
  <body>
    <div class="mainheader">
      General Options
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      Currently, the only general option is to disable the entire plugin such that no highlighting
      is performed in a code editor window. &nbsp;This ability to turn on and off the entire plugin
      can also be achieved through the right mouse popup menu in the code editor and via the
      keyboard shortcut Shift+Alt+T.
    </div>
    <div style=" margin-top: 5px; margin-bottom: 5px;">
      <center>
        <img src="../images/config-general.png" alt="General Options">
      </center>
    </div>
    <p>
       &nbsp;
    </p>
  </body>
</html>
